61. Constraint solving and language processing
المؤلف: / Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen (eds.)
المکتبة: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع: Constraint programming (Computer science),Logic programming,Natural language processing (Computer science)
رده :
QA
76
.
612
.
C637
2005
62. Constraint solving and language processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004 : revised selected and invited papers
المؤلف: Henning Christiansen, Peter Rossen Skadhauge, Jorgen Villadsen )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
L28
Vol
.
3438
63. Constraint solving over multi-valued logics :
المؤلف: Francisco Azevedo.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constraint programming (Computer science),Digital electronics.,Many-valued logic.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Constraint programming (Computer science),Digital electronics.,Many-valued logic.
رده :
QA76
.
612
.
A94
2003eb
64. Constraints in computational logics : first International Conference, CCL'94, Munich, Germany, September 7-9, 1994 : proceedings
المؤلف: Jean-Pierre Jouannaud )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
845
65. Constraints in computational logics : theory and applications ; International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 ; revised lectures
المؤلف: Hubert Comon, Claude Marche, Ralf Treinen )eds.(
المکتبة: (طهران)
موضوع: ، Constraint programming )Computer science(,، Logic programming
رده :
QA
76
.
L28
Vol
.
2002
66. Constructing logic programs
المؤلف: edited by Jean-Marie Jacquet
المکتبة: (طهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
C67
1993
67. Correct reasoning
المؤلف: Esra Erdem ... [et al.] (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence,Logic programming
رده :
QA76
.
63
.
C67
2012eb
68. DLP : a language for distributed logic programming : design, semantics, and implementation
المؤلف: Eliens, Anton.
المکتبة: (طهران)
موضوع: Logic programming )Computer science( , Electronic data processing - Distributed processing
رده :
QA
76
.
63
.
E45
1992
69. Decision table languages and systems
المؤلف: Metzner, John R.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Electronic digital computers -- Programming,، Decision logic tables
رده :
QA
76
.
6
.
M484
70. Decision tables
المؤلف: / Michael Montalbano
المکتبة: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع: Electronic digital computers - Programming,Decision logic tables
رده :
001
.
642
M762
71. Deep Learning with Python : A Hands-on Introduction
المؤلف: Ketkar, Nikhil
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Computer programming,، Computer science,، Computers,، Mathematical logic
رده :
LB
2822
.
75
.
K88
2017
72. Differentiation in logical form
المؤلف: by: Mehrdad Maleki,^AMaleki, Mehrdad
المکتبة: (طهران)
موضوع: Logic programming,Computer logic,Nonsmooth optimization,Interval analysis )Mathematics(,Automatic differentiation
73. Digital System design and Microprocesors
المؤلف: / John P. Hayes,Hayes
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: Digital integrated circuits,Logic design,Microprocessors,Microcomputers- Programming
رده :
TK
7874
.
H393
74. Digital logic simulation and CPLD programming
المؤلف: / Steve Waterman
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: م‍داره‍ای م‍ن‍طق‍ی -- طرح و س‍اخ‍ت‍م‍ان -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,م‍داره‍ای م‍ن‍طق‍ی -- ش‍ب‍ی‍ه‌س‍ازی ک‍ام‍پ‍ی‍وت‍ری -- دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,-- Logic programming دس‍ت‍ن‍ام‍ه‌ه‍ای آزم‍ای‍ش‍گ‍اه‍ی,وی. اچ. دی . ال (زبان ت‍وص‍ی‍ف‍ی س‍خ‍ت‌اف‍زار)
رده :
TK
۷۸۶۸
/
م
۴۸
و
۲ ۱۳۸۲
75. Digital system design and microprocessors
المؤلف: Hayes, John Patrick
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Digital integrated circuits,Logic design,، Microprocessors,Programming ، Microcomputers
رده :
TK
7874
.
H393
1984
76. Digital system design and microprocessors
پدیدآورنده : John P. Hayes
موضوع : Digital integrated circuits,Logic design,Microprocessors,Microcomputers -- programming
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
77. Digital system design and microprocessors
المؤلف: Hayes, John P.)John Patrick(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers - Programming
رده :
TK
7874
.
H393
1984
78. Digital system design and microprocessors
المؤلف: Hayes, John P.
المکتبة: (سمنان)
موضوع: ، Digital integrated circuits,، Logic design,، Microprocessors,، Microcomputers- Programming
رده :
TK
7874
.
H393
79. Digital system design and microprocessors
المؤلف:
المکتبة: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع: Digital integrated circuits,Logic design,Microprocessors,Microcomputers-programming
رده :
TK
7874
.
H393
1984
80. Digital system design & microprocessors
المؤلف: HAYES,JOHN PATRICK
المکتبة: (طهران)
موضوع: DIGITAL INTEGRATED CIRCUITS , LOGIC DESIGN , MICROCOMPUTERS-PROGRAMMING
رده :
TK
7874
.
H39
